symmetric relations in discrete mathematics